Orders of Indescribable Sets
نویسنده
چکیده
We extract some properties of Mahlo’s operation and show that some other very natural operations share these properties. The weakly compact sets form a similar hierarchy as the stationary sets. The height of this hierarchy is a large cardinal property connected to saturation properties of the weakly compact ideal. 1 2
منابع مشابه
Indescribable cardinals without diamonds
where E is a stationary subset of some cardinal ~. Jensen (cf. I-D2]) showed that if K is regular and uncountable and V=L then O~,E holds. Following his work, a number of applications of this principle and its modifications have been developed which are wide ranging and not restricted to set theory (cf. [-D1]). Jensen had also discovered that various large cardinals carry diamond sequences with...
متن کاملThe Indestructability of the Order of the Indescribable Cardinals
Hauser, K., The indescribability of the order of the indescribable cardinals, Annals of Pure and Applied Logic 57 (1992) 45-91. We prove the following consistency results about indescribable cardinals which answer a question of A. Kanamori and M. Magidor (cf. [3]). Theorem 1.1 (m 22, n 22). CON(ZFC+ 3~, K’ (K is Ii: indescribable, K’ is XF indescribable, and K < K’)) j CON(ZFC + fl> n: + GCH). ...
متن کاملDerived Topologies on Ordinals and Stationary Reflection
We study the transfinite sequence of topologies on the ordinal numbers that is obtained through successive closure under Cantor’s derivative operator on sets of ordinals, starting form the usual interval topology. We characterize the non-isolated points in the ξ-th topology as those ordinals that satisfy a strong iterated form of stationary reflection, which we call ξ-simultaneous-reflection. W...
متن کاملHierarchies of forcing axioms II
A Σ21 truth for λ is a pair 〈Q,ψ〉 so that Q ⊆ Hλ, ψ is a first order formula with one free variable, and there exists B ⊆ H λ+ such that (H λ+ ;∈, B) |= ψ[Q]. A cardinal λ is Σ21 indescribable just in case that for every Σ 2 1 truth 〈Q,ψ〉 for λ, there exists λ̄ < λ so that λ̄ is a cardinal and 〈Q ∩ Hλ̄, ψ〉 is a Σ 2 1 truth for λ̄. More generally, an interval of cardinals [κ, λ] with κ ≤ λ is Σ21 in...
متن کاملA radical extension of the category of $S$-sets
Let S-Set be the category of $S$-sets, sets together with the actions of a semigroup $S$ on them. And, let S-Pos be the category of $S$-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 45 شماره
صفحات -
تاریخ انتشار 2006